Stationary Reflection in Extender Models
نویسندگان
چکیده
Working in L[E], we examine which large cardinal properties of κ imply that all stationary subsets of cof(<κ) ∩ κ reflect.
منابع مشابه
A Characterization of (κ) in Extender Models
We prove that, in any fine structural extender model with Jensen’s λ-indexing, there is a (κ)-sequence if and only if there is a pair of stationary subsets of κ ∩ cof(< κ) without common reflection point of cofinality < κ which, in turn, is equivalent to the existence of a family of size < κ of stationary subsets of κ ∩ cof(< κ) without common reflection point of cofinality < κ. By a result of ...
متن کاملHybrid Prikry Forcing
We present a new forcing notion combining diagonal supercompact Prikry focing with interleaved extender based forcing. We start with a supercompact cardinal κ. In the final model the cofinality of κ is ω, the singular cardinal hypothesis fails at κ and GCH holds below κ. Moreover we define a scale at κ, which has a stationary set of bad points in the ground model.
متن کاملInfinite reflections of shock fronts in driven diffusive systems with two species
Interaction of a domain wall with boundaries of a system is studied for a class of stochastic driven particle models. Reflection maps are introduced for the description of this process. We show that, generically, a domain wall reflects infinitely many times from the boundaries before a stationary state can be reached. This is in an evident contrast with one-species models where the stationary d...
متن کاملStationary reflection principles and two cardinal tree properties
We study consequences of stationary and semi-stationary set reflection. We show that the semi-stationary reflection principle implies the Singular Cardinal Hypothesis, the failure of weak square principle, etc. We also consider two cardinal tree properties introduced recently by Weiss and prove that they follow from stationary and semi-stationary set reflection augmented with a weak form of Mar...
متن کاملSome Applications of Supercompact Extender Based Forcings to Hod
Supercompact extender based forcings are used to construct models with HOD cardinal structure different from those of V . In particular, a model with all regular uncountable cardinals measurable in HOD is constructed.
متن کامل